classical logic
英 [ˈklæsɪkl ˈlɒdʒɪk]
美 [ˈklæsɪkl ˈlɑːdʒɪk]
网络 经典逻辑; 古典逻辑
双语例句
- The resulting geometry of the classical logic and thinking several European, which is the origin of strict reasoning.
由此产生了古典逻辑与欧几思维几何学，这是严格推理的起源。 - It is a formal theory of computability in the same sense as classical logic is a formal theory of truth.
它是可计算性的形式理论，正如经典逻辑是真理的形式理论。 - The existence of uncertainty of propositions in the classical logic is analyzed and a measurement method on the uncertainty of those propositions through deduction is proposed.
分析了经典逻辑中命题不确定性的存在性，提出了通过推理对命题不确定性的测度方法； - The relations between propositional calculus of classical logic ( P) and medium logic ( MP~) have been obtained.
文中推论2说明了MP~与经典逻辑的命题演算系统（P~）的关系。 - G-logic is a new generalization of Rough Logic, truth concept and its operations of the logic is different from classical logic and all non-standard logic. The logic is both logic and set theory.
G逻辑也是Rough逻辑的新扩充，其真值概念及其运算都不同于经典逻辑，也不同于其它非标准逻辑。 - In this article, we describe the differences between classical logic gates and quantum logic gates, and explain the characteristics of quantum computation, the strong power of the quantum algorithm, and the problem of the realization of quantum logic gates.
本文通过经典逻辑门与量子逻辑门之比较，论述了量子计算的特点、量子算法的巨大威力及量子逻辑门的实现问题。 - R0-algebras and BL-algebras play important role in the study of fuzzy logic, these similar to the one of Boolean algebras for classical logic.
代数与BL-代数在模糊逻辑的研究中有重要作用，这与布尔代数在经典逻辑中的作用类似。 - On the Existence of Chinese Classical Logic
中国古典逻辑何以成立 - Classical Logic Formula Computing Based on Dynamic Neural Networks
基于动态神经网络的经典逻辑公式计算方法 - Modal logic, as a non-classical logic, is different from classical logic.
模态逻辑作为一种非古典逻辑是与古典逻辑不同类型的逻辑。 - Material and logical implication coincide in the classical logic, however they do not coincide in every logics.
实质蕴涵与逻辑蕴涵在经典命题逻辑中是一致的，但是二者并不是在任何逻辑中都一致。 - This paper also explores some rules of inference in classical logic and modal logic, and discusses the validity of these rules of inference in daily life.
与此相关，考察经典逻辑和模态逻辑中的某些推理规则，讨论这些推理规则在日常推理中的有效性问题，是十分必要的。 - The law of excluded middle is one of the basic laws of thought, which underlies all demonstrations in the classical logic.
排中律是思维的基本规律之一，它构成古典逻辑中所有证明的基础。 - To this problem, there are different kinds of solutions currently such as classical logic and truth maintenance techniques.
针对这个问题目前已有各种方法如用经典逻辑、真值维护等技术解决此类问题。 - Understanding argument as a semantic conception or as pragmatic conception is the watershed between informal logic and classical logic.
将论证理解为语义学概念还是语用学（辩证的）概念是非形式逻辑和经典逻辑的分水岭。 - In this paper, classical logic formula computing is discussed deeply. A new computing method for it, based on dynamic neural networks ( DNN) whose realization steps based on database is studied in detail and is presented combined with NN theory.
对经典逻辑公式计算进行了深入的探讨，结合神经网络理论提出一种动态神经网络的计算方法，并分析了基于数据库串行实现的步骤。 - SAT problem in classical logic means the satisfiability problem of boolean formulas. it is an essential problem of computer science.
经典逻辑中的SAT问题是指布尔表达式的可满足性问题，它是计算机科学中的核心问题。 - The Uncertainty in the Classical Logic and Its Supporting Degree
经典逻辑中的不确定性及其支持度 - By introducing the decision, It points out a relation between many valued logic and classical logic so that all of the classical theories has its immediate applications in many valued logic.
通过引入断词，勾通了多值逻辑与古典逻辑的联系，使全部古典理论在多值逻辑中都有直接应用； - It becomes the semantic base of classical logic and the extensive application and practice of sentence centralization expressed by the first order language in scientific area; at the same time, the definition itself is a mirror of analyzing conception by applying the first order logic.
其定义既成为经典逻辑的语义学基础，广泛应用与能用一阶语言所表达的科学领域中的句子集中，同时定义本身也是运用一阶逻辑对概念进行分析的典范。 - The study of G-logic opens a new path for applications of classical logic. G-logic provides a better theoretical tool for treating of irregular knowledge.
G逻辑的提出为经典逻辑的应用开辟了新途径，也为处理非规范知识提供了较好的理论工具。 - Compared to the classical logic ( propositional or first-order), in non-monotonic reasoning, adding new knowledge may result in the change of the consequence of the system.
与经典（命题，一阶）逻辑相比，非单调推理的特点是，在推理系统中增加新的知识可以导致结论被修改。 - In artificial intelligence and practical applications, the available information is usually incomplete. In this situation, the blind pursuit of the logical consequence in the sense of classical logic is impractical.
在人工智能及实际应用领域，我们面临的信息往往是不完备的，此时，一味地追求经典逻辑意义上的逻辑后承是不现实的。 - They are expanding of classical logic whose valuation field from two-valued to multi-valued or Infinitive valued.
多值逻辑和模糊逻辑是经典逻辑的扩充和发展，其真值域从经典逻辑的二值扩充为多值或无限值。 - The paraconsistent logic belongs to the unusual non-classical logic.
次协调逻辑属于异常型的非经典逻辑。 - However, these so-called "challenges" are unsuccessful, and so there is no serious threat to classical logic.
不过，令人遗憾的是，这些所谓的挑战并不成功，尚未对经典逻辑构成严重威胁。 - Besides, she not only argued adequately that it is possible and necessary to revise logic, but also investigated particularly the different forms to revise logic. With a mass of case-study, she evaluated some familiar motivations which challenged potentially to classical logic.
此外，她不仅强有力地论证了逻辑修正的可能性和必要性，详细揭示了逻辑修正的各种表现形式，而且通过大量的案例分析，进一步评估了几种常见的挑战经典逻辑的潜在动机。 - The concept of truth in classical logic is similar to validity in computability logic.
经典逻辑的真的概念就相当于CL2中的可计算性的概念。 - The superiority of this method is that we can not only get the unique result set but also when using this method in the classical logic, it presents nice properties such as consistency, closure and extensionality and so on.
这种方法的优势在于，不仅可以得到唯一的结果集，并且将这种方法应用在经典逻辑中时，它表现出了良好的数学性质如：一致性，封闭性，封闭性等。